/* -*- Mode: C; tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 4 -*- */

/*  Raspberry Pi Dasboard
 *  =====================
 *  Copyright 2014 Domen Ipavec <domen.ipavec@z-v.si>
 *
 *  Licensed under the Apache License, Version 2.0 (the "License");
 *  you may not use this file except in compliance with the License.
 *  You may obtain a copy of the License at
 *
 *      http://www.apache.org/licenses/LICENSE-2.0
 *
 *  Unless required by applicable law or agreed to in writing, software
 *  distributed under the License is distributed on an "AS IS" BASIS,
 *  WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
 *  See the License for the specific language governing permissions and
 *  limitations under the License.
 */

#include "rpi_websocket.h"

#include "packages/websocket/websocket.h"

int rpi_websocket_get_channel(void)
{
    static int next = 0;
    return next++;
}

json_t * rpi_websocket_handshake(duda_request_t *dr, int channel)
{
    if (request->header_contains(dr, "Connection", " Upgrade") == 0 &&
        request->header_contains(dr, "Upgrade", " websocket") == 0) {
        websocket->handshake(dr, channel);
        return json->create_null();
    }
    return json->create_string("Connect here with websocket!");
}